church-rosser theorem
Church-Rosser 定理
热门查询
- downtrodden adj. 被践踏的，被蹂躏的；受压迫的
- check-list 清单(算) 校验表
- marshmallow n. 棉花糖；蜀葵糖剂；药蜀葵
- nightstick n. 看更人或警察的木棒；警棍
- Gareth （亚瑟王传奇）加雷思（园桌骑士之一，亚瑟王的侄子）
- lindsay n. 琳赛〔女子名）
- unimproved adj. 未加改善的；未耕种的；未被利用的
- Meadows n. [畜牧] 草地；[地理] 草甸（meadow的复数）
- locate vt. 位于；查找…的地点 vi. 定位；定居
- intercepted v. 拦截，中途阻止（intercept的过去分词）；[数][军] 截取
- shul 犹太人集会 犹太教会堂 犹太教
- snowman n. 雪人 n. (Snowman)人名；(英)斯诺曼
- pick n. 选择；鹤嘴锄；挖；掩护 vi. 挑选；采摘；挖 vt. 拾取；精选；采摘；掘 n. (Pick)人名；(英、法、德、捷、匈、瑞典)皮克
- wholesomeness n. 有益于身心健康；增进健康
- unemotionally adv. unemotional的变形
- flammability n. 可燃性，易燃性
- concession n. 让步；特许（权）；承认；退位
- trajectory n. [物] 轨道，轨线；[航][军] 弹道
- unrepentant adj. 顽固不化的；不后悔的
- pneumatological a. pneumatology的变形
考试词汇表
- carriersense protocol
- carrion de los condes
- carry complete signal
- carry generate output
- carry income and loss
- carry lookahead adder
- carry lookahead logic
- carry on negotiations
- carry on transactions
- carry out a programme
- carry out engineering
- carry out examination
- carry out formalities
- carry ripple approach
- carry sb off his feet
- carry signal terminal
- carry-complete signal
- carry-over pinch roll
- carry-save adder, CSA
- carrying productivity
